Serialized Form

Package abstraction

Class abstraction.WrongFileException extends java.lang.Exception implements Serializable

serialVersionUID: -5801194850500084132L

Package presentation

Class presentation.AvailablePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -9064608565705075447L

Serialized Fields

owner

OrchestratorFrame owner

availableLabel

javax.swing.JLabel availableLabel

statusLabel

javax.swing.JLabel statusLabel

addServicesButton

javax.swing.JButton addServicesButton

removeServiceButton

javax.swing.JButton removeServiceButton

removeAllButton

javax.swing.JButton removeAllButton

saveToImageButton

javax.swing.JButton saveToImageButton

saveToDotButton

javax.swing.JButton saveToDotButton

graphScrollPane

javax.swing.JScrollPane graphScrollPane

listScrollPane

javax.swing.JScrollPane listScrollPane

servicesList

javax.swing.JList servicesList

servicesListModel

javax.swing.DefaultListModel servicesListModel

availableGraphs

java.util.List<E> availableGraphs

availableLoaded

boolean availableLoaded

services

AvailableServices services

Class presentation.CartesianProductPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 971167226552503028L

Serialized Fields

owner

OrchestratorFrame owner

changeRepresentationButton

javax.swing.JButton changeRepresentationButton

saveToImageButton

javax.swing.JButton saveToImageButton

saveToDotButton

javax.swing.JButton saveToDotButton

showProductButton

javax.swing.JButton showProductButton

cartesianProductLabel

javax.swing.JLabel cartesianProductLabel

statusLabel

javax.swing.JLabel statusLabel

cartesianProductScrollPane

javax.swing.JScrollPane cartesianProductScrollPane

cartesianProductGraph

org.jgraph.JGraph cartesianProductGraph

cartesianProduct

Service cartesianProduct

Class presentation.ChoiceLayoutDialog extends javax.swing.JDialog implements Serializable

serialVersionUID: 1537787927972838799L

Serialized Fields

layout

java.lang.String layout

choiceLayoutContentPane

javax.swing.JPanel choiceLayoutContentPane

choiceLayoutLabel

javax.swing.JLabel choiceLayoutLabel

choiceLayoutComboBox

javax.swing.JComboBox choiceLayoutComboBox

okButton

javax.swing.JButton okButton

cancelButton

javax.swing.JButton cancelButton

Class presentation.CustomTableModel extends javax.swing.table.DefaultTableModel implements Serializable

serialVersionUID: 2131513271751380757L

Class presentation.ExecuteOrchestratorPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -8112895237970803475L

Serialized Fields

owner

OrchestratorFrame owner

orchestratorLabel

javax.swing.JLabel orchestratorLabel

targetPresentStateLabel

javax.swing.JLabel targetPresentStateLabel

doActionButton

javax.swing.JButton doActionButton

setStartStatesButton

javax.swing.JButton setStartStatesButton

graphScrollPane

javax.swing.JScrollPane graphScrollPane

targetActionsScrollPane

javax.swing.JScrollPane targetActionsScrollPane

availablePresentStatesScrollPane

javax.swing.JScrollPane availablePresentStatesScrollPane

availableServicesScrollPane

javax.swing.JScrollPane availableServicesScrollPane

targetActionsTable

javax.swing.JTable targetActionsTable

availablePresentStatesTable

javax.swing.JTable availablePresentStatesTable

availableServicesTable

javax.swing.JTable availableServicesTable

actionsModel

CustomTableModel actionsModel

availablePresentStateModel

CustomTableModel availablePresentStateModel

availableServicesModel

CustomTableModel availableServicesModel

graph

org.jgraph.JGraph graph

presentStateTarget

State presentStateTarget

presentStateAvailableServices

CState presentStateAvailableServices

targetService

Service targetService

community

Community community

orchestrator

Orchestrator orchestrator

sm

SimulatedBy sm

indexServices

java.util.HashMap<K,V> indexServices

stateTable

java.util.HashMap<K,V> stateTable

actionTable

java.util.HashMap<K,V> actionTable

selectedEdge

org.jgraph.graph.DefaultEdge selectedEdge

Class presentation.OrchestratorFrame extends javax.swing.JFrame implements Serializable

serialVersionUID: -5592078694670051572L

Serialized Fields

mainContentPane

javax.swing.JPanel mainContentPane

mainTabbedPane

javax.swing.JTabbedPane mainTabbedPane

availablePanel

AvailablePanel availablePanel

targetPanel

TargetPanel targetPanel

orchestratorTablePanel

OrchestratorTablePanel orchestratorTablePanel

cartesianProductPanel

CartesianProductPanel cartesianProductPanel

executeOrchestratorPanel

ExecuteOrchestratorPanel executeOrchestratorPanel

menubar

javax.swing.JMenuBar menubar

fileMenu

javax.swing.JMenu fileMenu

exitItem

javax.swing.JMenuItem exitItem

OrchestratorMenu

javax.swing.JMenu OrchestratorMenu

startItem

javax.swing.JMenuItem startItem

stopItem

javax.swing.JMenuItem stopItem

helpMenu

javax.swing.JMenu helpMenu

helpItem

javax.swing.JMenuItem helpItem

aboutItem

javax.swing.JMenuItem aboutItem

orchestrator

Orchestrator orchestrator

lastFolder

java.io.File lastFolder

warningLabel

javax.swing.JLabel warningLabel

orchestratorGraphPanel

OrchestratorGraphPanel orchestratorGraphPanel

Class presentation.OrchestratorGraphPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 971167226552503028L

Serialized Fields

owner

OrchestratorFrame owner

changeRepresentationButton

javax.swing.JButton changeRepresentationButton

saveToImageButton

javax.swing.JButton saveToImageButton

saveToDotButton

javax.swing.JButton saveToDotButton

orchestratorLabel

javax.swing.JLabel orchestratorLabel

orchestratorScrollPane

javax.swing.JScrollPane orchestratorScrollPane

orchestratorGraph

org.jgraph.JGraph orchestratorGraph

orchestrator

Service orchestrator

Class presentation.OrchestratorTablePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -3051686144124963060L

Serialized Fields

showOrchestratorButton

javax.swing.JButton showOrchestratorButton

saveToXmlButton

javax.swing.JButton saveToXmlButton

showSimulationButton

javax.swing.JButton showSimulationButton

orchestratorLabel

javax.swing.JLabel orchestratorLabel

statusLabel

javax.swing.JLabel statusLabel

orchestratorScrollPane

javax.swing.JScrollPane orchestratorScrollPane

owner

OrchestratorFrame owner

fact

XmlTableOrchestratorFactory fact

selected

int selected

orchestratorTable

javax.swing.JTable orchestratorTable

Class presentation.StartStatesDialog extends javax.swing.JDialog implements Serializable

serialVersionUID: 646838933711454544L

Serialized Fields

target

Service target

community

Community community

targetInitialState

State targetInitialState

availableInitialStates

CState availableInitialStates

tempAvailableInitialStates

CState tempAvailableInitialStates

initialStatesContentPane

javax.swing.JPanel initialStatesContentPane

targetInitialStateLabel

javax.swing.JLabel targetInitialStateLabel

availableInitialStatesLabel

javax.swing.JLabel availableInitialStatesLabel

availableServiceLabel

javax.swing.JLabel availableServiceLabel

targetInitialStateComboBox

javax.swing.JComboBox targetInitialStateComboBox

serviceComboBox

javax.swing.JComboBox serviceComboBox

initialAvailableStateComboBox

javax.swing.JComboBox initialAvailableStateComboBox

boxModel

javax.swing.DefaultComboBoxModel boxModel

okButton

javax.swing.JButton okButton

cancelButton

javax.swing.JButton cancelButton

Class presentation.TargetPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: -4349282040075258598L

Serialized Fields

owner

OrchestratorFrame owner

targetLabel

javax.swing.JLabel targetLabel

addTargetButton

javax.swing.JButton addTargetButton

deleteTargetButton

javax.swing.JButton deleteTargetButton

saveToImageButton1

javax.swing.JButton saveToImageButton1

saveToDotButton1

javax.swing.JButton saveToDotButton1

statusLabel

javax.swing.JLabel statusLabel

targetScrollPane

javax.swing.JScrollPane targetScrollPane

targetLoaded

boolean targetLoaded

targetService

Service targetService

targetGraph

org.jgraph.JGraph targetGraph

Package presentation.graph

Class presentation.graph.FinalStateVertex extends org.jgraph.graph.DefaultGraphCell implements Serializable

serialVersionUID: -4240035705099358303L

Class presentation.graph.FinalStateVertexRenderer extends org.jgraph.graph.VertexRenderer implements Serializable

serialVersionUID: -8251096058938250432L

Class presentation.graph.FinalStateVertexView extends org.jgraph.graph.VertexView implements Serializable

serialVersionUID: -3550944088851791730L

Class presentation.graph.StateCellViewFactory extends org.jgraph.graph.DefaultCellViewFactory implements Serializable

serialVersionUID: 8942782048265983296L

Class presentation.graph.StateVertexRenderer extends org.jgraph.graph.VertexRenderer implements Serializable

serialVersionUID: -4878731171046889178L

Class presentation.graph.StateVertexView extends org.jgraph.graph.VertexView implements Serializable

serialVersionUID: 348745467402455830L